alle{-}between2(${\it es}$;$e_{1}$;$e_{2}$;$e$.$P$($e$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:es{-}E(${\it es}$). es{-}le(${\it es}$;$e_{1}$;$e$) $\Rightarrow$ es{-}le(${\it es}$;$e$;$e_{2}$) $\Rightarrow$ $P$($e$)